home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: Alpha / Whiteline Alpha.iso / progtool / prolog / calltree.toy < prev    next >
Encoding:
Text File  |  1994-09-22  |  3.6 KB  |  176 lines
  1.  
  2. 'calltree'('/'(:0, :1)) :
  3.    'add'('proc'(:0, :1, :2, :3), :4) .
  4.    'fill'(:4, :4) .
  5.    'print_calls'('proc'(:0, :1, :2, :3) . '[]', 3, 1, :5) .
  6.    []
  7. 'add'(:0, :0 . :1) :
  8.    '!' .
  9.    []
  10. 'add'(:0, :1 . :2) :
  11.    'add'(:0, :2) .
  12.    []
  13. 'fill'('[]', :0) :
  14.    '!' .
  15.    []
  16. 'fill'('proc'(:0, :1, :2, '[]') . :3, :4) :
  17.    'predefined'(:0, :1) .
  18.    '!' .
  19.    'fill'(:3, :4) .
  20.    []
  21. 'fill'('proc'(:0, :1, :2, 'undefined') . :3, :4) :
  22.    'not'('clause'(:0, :1, 1, :5, :6)) .
  23.    '!' .
  24.    'fill'(:3, :4) .
  25.    []
  26. 'fill'('proc'(:0, :1, :2, :3) . :4, :5) :
  27.    'add_calls'(:0, :1, 1, :3, :5) .
  28.    'fill'(:4, :5) .
  29.    []
  30. 'add_calls'(:0, :1, :2, :3, :4) :
  31.    'clause'(:0, :1, :2, :5, :6) .
  32.    '!' .
  33.    'body_calls'(:6, :3, :4) .
  34.    'sum'(:2, 1, :7) .
  35.    'add_calls'(:0, :1, :7, :3, :4) .
  36.    []
  37. 'add_calls'(:0, :1, :2, '[]', :3) :
  38.    '!' .
  39.    []
  40. 'add_calls'(:0, :1, :2, :3, :4) :
  41.    []
  42. 'body_calls'('[]', :0, :1) :
  43.    '!' .
  44.    []
  45. 'body_calls'(:0 . :1, :2, :3) :
  46.    'functor'(:0, :4, :5) .
  47.    'add'('proc'(:4, :5, :6, :7), :2) .
  48.    'add'('proc'(:4, :5, :6, :7), :3) .
  49.    'add_insides'(:0, :2, :3) .
  50.    'body_calls'(:1, :2, :3) .
  51.    []
  52. 'add_insides'(:0, :1, :2) :
  53.    'meta_call_1'(:0, :3) .
  54.    '!' .
  55.    'add_inside'(:3, :1, :2) .
  56.    []
  57. 'add_insides'(:0, :1, :2) :
  58.    'meta_call_2'(:0, :3, :4) .
  59.    '!' .
  60.    'add_inside'(:3, :1, :2) .
  61.    'add_inside'(:4, :1, :2) .
  62.    []
  63. 'add_insides'(:0, :1, :2) :
  64.    []
  65. 'add_inside'(:0, :1, :2) :
  66.    'var'(:0) .
  67.    '!' .
  68.    []
  69. 'add_inside'(:0, :1, :2) :
  70.    'integer'(:0) .
  71.    '!' .
  72.    []
  73. 'add_inside'(:0, :1, :2) :
  74.    'functor'(:0, :3, :4) .
  75.    'add'('proc'(:3, :4, :5, :6), :1) .
  76.    'add'('proc'(:3, :4, :5, :6), :2) .
  77.    'add_insides'(:0, :1, :2) .
  78.    []
  79. 'meta_call_1'('call'(:0), :0) :
  80.    []
  81. 'meta_call_1'('tag'(:0), :0) :
  82.    []
  83. 'meta_call_1'('not'(:0), :0) :
  84.    []
  85. 'meta_call_1'('check'(:0), :0) :
  86.    []
  87. 'meta_call_1'('side_effects'(:0), :0) :
  88.    []
  89. 'meta_call_1'('once'(:0), :0) :
  90.    []
  91. 'meta_call_2'(','(:0, :1), :0, :1) :
  92.    []
  93. 'meta_call_2'(';'(:0, :1), :0, :1) :
  94.    []
  95. 'print_calls'('[]', :0, :1, :1) :
  96.    '!' .
  97.    []
  98. 'print_calls'('proc'(:0, :1, :2, 'undefined') . :3, :4, :2, :5) :
  99.    '!' .
  100.    'start_undefined'(:2, :4) .
  101.    'writeq'('/'(:0, :1)) .
  102.    'display'('    ** undefined **') .
  103.    'nl' .
  104.    'sum'(:2, 1, :6) .
  105.    'print_calls'(:3, :4, :6, :5) .
  106.    []
  107. 'print_calls'('proc'(:0, :1, :2, :3) . :4, :5, :2, :6) :
  108.    '!' .
  109.    'start_line'(:2, :5) .
  110.    'writeq'('/'(:0, :1)) .
  111.    'nl' .
  112.    'sum'(:5, 3, :7) .
  113.    'sum'(:2, 1, :8) .
  114.    'print_calls'(:3, :7, :8, :9) .
  115.    'print_calls'(:4, :5, :9, :6) .
  116.    []
  117. 'print_calls'('proc'(:0, :1, :2, :3) . :4, :5, :6, :7) :
  118.    'start_unnumbered_line'(:5) .
  119.    'writeq'('/'(:0, :1)) .
  120.    'repetition'(:0, :1, :2) .
  121.    'nl' .
  122.    'print_calls'(:4, :5, :6, :7) .
  123.    []
  124. 'repetition'(:0, :1, :2) :
  125.    'predefined'(:0, :1) .
  126.    '!' .
  127.    []
  128. 'repetition'(:0, :1, :2) :
  129.    'display'('  (see ') .
  130.    'display'(:2) .
  131.    'display'(')') .
  132.    []
  133. 'start_line'(:0, :1) :
  134.    'number_line'(:0) .
  135.    '!' .
  136.    'tab'(:1, ' ') .
  137.    []
  138. 'number_line'(:0) :
  139.    '<'(:0, 10) .
  140.    'display'('   ') .
  141.    'display'(:0) .
  142.    []
  143. 'number_line'(:0) :
  144.    '<'(:0, 100) .
  145.    'display'('  ') .
  146.    'display'(:0) .
  147.    []
  148. 'number_line'(:0) :
  149.    '<'(:0, 1000) .
  150.    'display'(' ') .
  151.    'display'(:0) .
  152.    []
  153. 'number_line'(:0) :
  154.    'display'(:0) .
  155.    []
  156. 'start_unnumbered_line'(:0) :
  157.    'display'('    ') .
  158.    'tab'(:0, ' ') .
  159.    []
  160. 'start_undefined'(:0, :1) :
  161.    'number_line'(:0) .
  162.    'tab'(:1, '.') .
  163.    []
  164. 'tab'(0, :0) :
  165.    '!' .
  166.    []
  167. 'tab'(:0, :1) :
  168.    'wch'(:1) .
  169.    'sum'(:2, 1, :0) .
  170.    'tab'(:2, :1) .
  171.    []
  172.  :
  173.    'seen' .
  174.    []#
  175.  
  176.